首页> 外文OA文献 >Quantification in Frame Semantics with Binders and Nominals of Hybrid Logic

【2h】

Quantification in Frame Semantics with Binders and Nominals of Hybrid Logic

机译：具有粘合剂和混合逻辑标称的框架语义量化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Kallmeyer, Laura; Osswald, Rainer; Pogodalla, Sylvain;
展开▼
作者单位

展开▼
年度 2017
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Quantification in frame semantics with binders and nominals of hybrid logic [J] . Laura Kallmeyer, Rainer Osswald, Sylvain Pogodalla Journal of Language Modelling . 2017,第2期

机译：使用混合逻辑的标称和名词对帧语义进行量化
2. Semantics Out of Context: Nominal Absolute Denotations for First-Order Logic and Computation [J] . MURDOCH J. GABBAY Journal of the Association for Computing Machinery . 2016,第3期

机译：上下文之外的语义：一阶逻辑和计算的名义绝对表示法
3. Foundations of nominal techniques: Logic and semantics of variables in abstract syntax [J] . Gabbay M.J. The bulletin of symbolic logic . 2011,第2期

机译：标称技术的基础：抽象语法中变量的逻辑和语义
4. Nominal Collocations in Scientific English: A Frame-Semantic Approach [C] . Eva Lucia Jimenez-Navarro International conference on computational and corpus-based phraseology . 2019

机译：科学英语中的名词搭配：一种框架语义学方法
5. Hybrid performance quantification model using state space and fuzzy logic for design and manufacturing integration [D] . Sieger, David B. 1995

机译：使用状态空间和模糊逻辑进行设计和制造集成的混合性能量化模型
6. Towards a Semantic Web of Things: A Hybrid Semantic Annotation Extraction and Reasoning Framework for Cyber-Physical System [O] . Zhenyu Wu, Yuan Xu, Yunong Yang, 2017

机译：迈向物联网：网络物理系统的混合语义注释提取和推理框架
7. Quantification in Frame Semantics with Binders and Nominals of Hybrid Logic [O] . Kallmeyer, Laura, Osswald, Rainer, Pogodalla, Sylvain 2017

机译：结合和标称混合逻辑的框架语义量化
8. Modal Logics and Topological Semantics for Hybrid Systems [R] . Artemov, S. N., Davoren, J. M., Nerode, A. 1997

机译：混合系统的模态逻辑和拓扑语义

Quantification in Frame Semantics with Binders and Nominals of Hybrid Logic

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅